Step | Figure | Justification |
1 |  |
Start with the completed construction. I say that the circle ABC is a
circle that passes through points A, B, and C. |
2 |  |
By the definition of a perpendicular bisector, the perpendicular bisectors
PM and QM divide
segments AB and BC
into two equal parts and are perpendicular to AB
and BC. |
3 |  |
Construct segments AM,
BM, and CM.
See Euclid. Elements. Book 1. Proposition 1.
To draw a straight line from any point to any point. |
4 |  |
Since AP = BP
AND ∠APM=∠BPM, and PM
is in common, by
angle-side-angle congruence,
ΔAPM=ΔBPM. |
5 |  |
Since ΔAPM = ΔBPM, line segment
AM = BM. |
6 |  |
Since BQ = CQ
AND ∠BQM=∠CQM, and QM
is in common, by
angle-side-angle congruence,
ΔBQM = ΔCQM. |
7 |  |
Since ΔBQM=ΔCQM, line segment
BM = CM. |
8 |  |
By common notion 1,
since AM = BM
and BM = CM,
then AM = CM.
Since AM = BM
= CM, points A, B, and
C are equidistant from M. So a circle with center at point
M and radius AM passes through B and C.
Q.E.D.. |
Table 2: Proof of construction. |
4/22/2019: Update equations and expressions to new format. (
7/16/2018: Removed broken links, updated license, implemented new markup, implemented new Geogebra protocol. (
5/5/2010: Initial version. (